model verification

Study on Preparation of Raney Cu catalysts ⅰ alkali leaching kinetics model verification

Raney Cu催化剂制备规律的研究Ⅱ碱抽提动力学模型验证

Developed a software which can be used for data acquisition, the identification of structure and parameters, the model verification and optimization, the numerical simulation of dynamic characters and so on; Set up an analog experiment system to take some dynamic tests and perform real-time identification.

开发了具有数据采集、结构与参数辨识、模型校验与优化和动态特性数字仿真等多种功能的通用软件，建立了模拟实验系统进行系统动态试验和实时辨识验证。

This algorithm satisfies all the main aspects of state machine test model verification.

这个算法可以满足状态机测试的主要验证标准.

Difference between geoid and quasi-geoid and its model verification

大地水准面与似大地水准面之差及其模型检核

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

The Model Verification in Crop Simulation Model ing

作物模拟研究中的模型检验

Last, this paper summarized advantage and limitation of UCaS tools and give a outlook for AADL model verification tools further research and development.

论文最后总结了UCaS工具的优点及局限性，对AADL模型验证工具的后继研究和发展进行了展望。

It involves five parts of Input-output data generation, program block call of about ten sorts, result treatment, model order and delay time determination and model verification.

它包括输入/输出数据的生成，近十种辨识程序模块的调用，结果的处理，模型阶次与纯滞后时间的确定和模型校验等五大部分。